Undefined behavior - PDFSEARCH.IO - Document Search Engine

Undefined behavior
Results: 32

#	Item
21	A Differential Approach to Undefined Behavior Detection by Xi Wang B.E., Computer Science (2005); M.E., Computer Science[removed]Tsinghua University Add to Reading List Source URL: pdos.csail.mit.edu Language: English - Date: 2015-04-12 14:06:01 Computer programming Programming language implementation C++ Pointer C Undefined behavior Integer overflow Stack Uninitialized variable Software engineering Computing Software bugs
22	Document Number: Date: Reply to: J16[removed] = WG21 N1727[removed] Add to Reading List Source URL: www.open-std.org Language: English - Date: 2004-11-08 01:57:22 Computer programming C programming language Programming language implementation Undefined behavior Data types Cross-platform software Pointer New C Computing C++ Software engineering
23	Document Number: Date: Reply To: J16[removed] = WG21 N1627[removed] Add to Reading List Source URL: www.open-std.org Language: English - Date: 2004-04-05 01:49:02 Procedural programming languages Cross-platform software Data types Primitive types C++ Pointer Programming language Fortran Undefined behavior Computing Software engineering Computer programming
24	1 A Differential Approach to Undefined Behavior Detection XI WANG, NICKOLAI ZELDOVICH, M. FRANS KAASHOEK, and ARMANDO SOLAR-LEZAMA, Massachusetts Institute of Technology Add to Reading List Source URL: people.csail.mit.edu Language: English Programming language implementation C programming language Data types C++ C Pointer Undefined behavior GNU Compiler Collection This Computing Software engineering Software
25	Annotation Generation Frama-C’s annotation generator plug-in for Frama-C Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:41 Data types Computer arithmetic C programming language Primitive types Software bugs Frama-C Integer overflow C Undefined behavior Computing Software engineering Computer programming
26	Undefined Behavior: What Happened to My Code? Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C programming language C Standard Library Pointer C Undefined behavior Brainfuck Aliasing GNU Compiler Collection Computing Software C++
27	Undefined Behavior: What Happened to My Code?∗ Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C Standard Library Pointer Undefined behavior C Brainfuck Aliasing GNU Compiler Collection Printf format string Computing Software C++
28	Proposed DR 340 Response WG14 N1342 Clarification of Composite Type David Keaton Add to Reading List Source URL: www.open-std.org Language: English - Date: 2008-10-09 10:38:41 Computer programming C11 C99 C Undefined behavior Variable-length array Array data type Array C programming language Computing Software engineering
29	Undefined Behavior: What Happened to My Code?∗ Xi Wang Haogang Chen Alvin Cheung Zhihao Jia† Nickolai Zeldovich M. Frans Kaashoek MIT CSAIL † Tsinghua University Abstract Add to Reading List Source URL: people.csail.mit.edu Language: English Procedural programming languages C Standard Library Pointer Undefined behavior C Brainfuck Aliasing GNU Compiler Collection Printf format string Computing Software C++
30	file://D:09494-Plum-Seacord-analyzable.htm Add to Reading List Source URL: www.open-std.org Language: English - Date: 2009-09-30 16:41:57 Computer programming Data types C++ Primitive types C11 Undefined behavior C Robert C. Seacord Pointer Software engineering Computing C programming language